msg{-}spec{-}loc(${\it snd}$; $i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$l$:IdLnk. ($l$ $\in$ msg{-}spec{-}links(${\it snd}$)) $\Rightarrow$ (source($l$) = $i$)